161. Experimental Methods for the Analysis of Optimization Algorithm
پدیدآورنده : / [electronic resource
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic books,Mathematical Optimization,Computer Algorithms,Mathematics, Optimization,Computers, Programming, Algorithms
رده :
E-BOOK
162. Exploring bioinformatics :
پدیدآورنده : Caroline St. Clair, Jonathan E. Visick.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics.,Computational Biology.,Genetic Phenomena.,Bio-informatique.,Bioinformatics.,Popular Science and Mathematics.,Popular Science.
رده :
QH324
.
2
.
S72
2014
163. Facets of Combinatorial Optimizatio
پدیدآورنده : / edited by Michael J?╝nger, Gerhard Reinelt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computational complexity,Algorithms,Mathematical optimization,Electronic books
رده :
E-BOOK
164. First Leaves: A Tutorial Introduction to Maple V
پدیدآورنده : by Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan, Stephen M. Watt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Mathematics.
165. First course in algorithms through puzzles /
پدیدآورنده : Ryuhei Uehara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
166. Fixed points : algorithms and applications
پدیدآورنده : International Conference on Computing Fixed Points with Applications, 1st, 4791, Clemson University
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Fixed point theory-- Congresses,، Equations, Simultaneous-- Congresses,، Economics, Mathematical-- Congresses,، Programming )Mathematics(-- Congresses
رده :
QA
329
.
9
.
I57
1974
167. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
168. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
169. Foundations of Deterministic and Stochastic Control
پدیدآورنده : by Jon H. Davis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Differential equations, Partial.,Distribution (Probability theory).,Mathematics.,Systems theory.,Telecommunication.
170. Foundations of algorithms
پدیدآورنده : / Richard Neapoltian and Kumarss Naimipour
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Algorithms,Constructive mathematics,Computational complexity
رده :
QA
9
.
58
.
N43
2011
171. Foundations of bilevel programming /
پدیدآورنده : by Stephan Dempe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical optimization.,Programming (Mathematics),Optimisation mathématique.,Programmation (Mathématiques),Hierarchische Optimierung,Mathematical optimization.,Parametrische Optimierung,Programação hierárquica.,Programação matemática.,Programming (Mathematics)
رده :
T57
.
7
.
D46
2002
172. Foundations of computational mathematics :
پدیدآورنده : Felipe Cucker, Michael Shub, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Análisis numérico -- Congresos.,Matemáticas computacionales -- Congresos
رده :
QA297
.
F455
1997
173. Foundations of computational mathematics :
پدیدآورنده : Felipe Cucker, Michael Shub, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Análisis numérico -- Congresos.,Matemáticas computacionales -- Congresos
174. Foundations of discrete mathematics with algorithms and programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ;
175. Fractional Programming
پدیدآورنده : by I. M. Stancu-Minasian.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Economics-- Statistics.,Economics.,Mathematical optimization.,Mathematics.
176. From Astrophysics to Unconventional Computation :
پدیدآورنده : editors, Andrew Adamatzky and Vivien Kendon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational intelligence.,Soft computing.,Computational intelligence.,COMPUTERS / General.,Soft computing.
رده :
QA76
.
9
.
S63
177. From Local to Global Optimization
پدیدآورنده : edited by Athanasios Migdalas, Panos M. Pardalos, Peter Värbrand.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Electronic data processing.,Mathematical optimization.,Mathematics.,Systems theory.
178. Functional analysis and applications /
پدیدآورنده : Abul Hasan Siddiqi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional analysis.,Computers-- Programming-- Algorithms.,Differential calculus & equations.,Functional analysis & transforms.,Functional analysis.,Mathematical modelling.,Mathematics-- Applied.,Mathematics-- Differential Equations.,Mathematics-- Functional Analysis.,Numerical analysis.,Optimization.
رده :
QA320
179. Funtional Programming Languages in Education :
پدیدآورنده : edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
